"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...